\Slide{Control flow graphs}{
FindBugs BCEL-based intermediate representation:
\B
\item CFG: method control flow graph
  \B
  \item Composed of BasicBlocks and Edges
  \item Entry block: dominates every block
  \item Exit block: postdominates every block
  \E
\item BasicBlock composed of list of InstructionHandles
\item Each InstructionHandle has reference to Instruction
\item Edge connects a source block and target block
  \B
  \item Edges have {\em edge types}: e.g.,
        goto, ifcmp, fall through, handled exception, unhandled exception, etc.
  \E
\E
}
